A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
نویسندگان
چکیده
منابع مشابه
Multi-Criteria Optimization in Answer Set Programming
We elaborate upon new strategies and heuristics for solving multi-criteria optimization problems via Answer Set Programming (ASP). In particular, we conceive a new solving algorithm, based on conflictdriven learning, allowing for non-uniform descents during optimization. We apply these techniques to solve realistic Linux package configuration problems. To this end, we describe the Linux package...
متن کاملME-ASP: A Multi-Engine Solver for Answer Set Programming
In this paper we present ME-ASP, a new multi-engine solver for Answer Set Programming (ASP). ME-ASP relies on machine learning techniques for inductively determining its algorithm selection strategy for choosing the ”most promising” ASP solver among the ones available. We describe the architecture of ME-ASP and the classification methods it supports. An experimental analysis, performed on bench...
متن کاملA multi-engine approach to answer-set programming
Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming, that has been recently employed in many applications. The development of efficient ASP systems is, thus, crucial. Having in mind the task of improving the solving methods for ASP, there are two usual ways to reach this goal: (i) extending state-of-the-a...
متن کاملAnswer Set Programming: A Primer
Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This article is a gentle introduction to the subject; it starts with motivation and follows the historical development of the challenge of defining a semantics for logic programs with negation. It looks...
متن کاملAnnotated Answer Set Programming
We present Annotated Answer Set Programming, that extends the expressive power of disjunctive logic programming with annotation terms, taken from the generalized annotated logic programming framework.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2021
ISSN: 2169-3536
DOI: 10.1109/access.2021.3053547